Issue1639.agda:4,3-5,12
A data definition can only contain type signatures, possibly under
keyword instance
